Assumptions: generating set, self-dual
Conclusions: cogenerating set
Proof: This holds by self-duality.